﻿Tesztek

> import Lib.Logic
> import Lib.Set
> import Lib.BinaryRelation
> import Test.HUnit
> import List

Főprogram

> main :: IO ()
> main = do
>     putStrLn "Tesztelés - Halmazok"
>     counts_t <- runTestTT testSet
>     return()

Tesztek

Test.HUnit használata:
Például:
TestCase (assertEqual "Test 1" (helyes megoldás) (ellenőrizendő))

> testSet = TestList [
>     TestCase (assertEqual "Test 1 - Elem" True (77 ∈ [1..])),
>     TestCase (assertEqual "Test 2 - Metszet" [4,5,6,7,8,9,10] ([1..10] ∩ [4..2010])),
>     TestCase (assertEqual "Test 3 - Unió" [1..88] (sort ([1..77] ∪ [1..88])))] -- itt kellett egy kis hack:)